例句與造句

1. In this dissertation we present a general , extensible methodology that examines cryptographic protocols . our approach is specify a protocol in cpal ( cryptographic protocol analysis language ) , apply hoare and dijkstra ? theory of formal semantics to it , analysis it ? forma ] semantics , define weakest precondition of each kind of language statement
   我們的方法就是用cpal （ cryptographicprotocolanalysislanguage ）語言來表示協(xié)議，將hoare和dijkstra在形式語義方面的理論應(yīng)用到該語言，分析該語言的形式語義，定義每種語句的最弱前置條件。
2. It's difficult to find analysis language in a sentence. 用analysis language造句挺難的